Title: Many Infallible Proofs