I struggled parsing that too. I think he intended the negation of "It must only put out correct formal proofs", but adding a "not" in there doesn't quite have that effect.