Locality
Build
Drag
Move
Pin
Orient
Label
Symmetrize 3
Symmetrize 2
Duplicate
Delete
Box
For All
Output
Either
Proof
Variable
Reset
Undo
Redo