CONJECTURE-FORMULA for NULL and LIST built-in classes.
Use SOLVE-PROBLEM.
Nothing.
Load tipi.lisp.