CL-style predicate.
Just remove it.
Find conjecture formulas.
Use the new CONJECTURE-FORMULA generic function.