This episode is also available as a blog post: https://coralmccallum.wordpress.com/2021/08/05/that-first-proof-throwback-thursday/
