TPTP scripts added