This episode is also available as a blog post: https://couchpotatoesonthemove.wordpress.com/2022/04/13/many-infallable-proofs/