Added TPTP version.