This episode is also available as a blog post: https://couchpotatoesonthemove.wordpress.com/2021/12/08/powerful-proofs/