Added note on released ATPs.
Added notes on TPTP.