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