Equation hunting, TPTP-style.