"tptp"