TPTP-FILE.
Hyphen.