Logica Tools
for
Thought
 
Hilbert
Undo Copy Paste Load Save Help
Objects: a, b, c
Functions: f, g