first complete and correct version of a TPTP tpi script on Goedel's proof