Infallible proofs

00:00