Add tptp 0.3.0