MANY INFALLIBLE PROOFS