Logica Tools
for
Thought
 
Fitch
Copy Load Save Library
Objects  a, b, c
Functions  f, g