$  .FP/TPTP