\* Systematic Explicit Mathematics *\
\* [1] F. Feferman: *\

\* Development started: 2010 Feb 20 *\

\graph Z3

\sorts Prop, Obj, Term