Add tptp 0.3.1