Started implementing System On TPTP interaction