Ensure that the TPTP-FORMULA class comes first.