Update TPTP