Transform Mode
Rules of inference
Insertion
Erasure
Rules of equivalence
Double Cut
Iteration
Deiteration
Options
Options Menu
X
Clear Canvas
Exit
Insert