Links for tptp