Simplification of HAS-CONJECTURE-FORMULA? and CONJECTURE-FORMULA.