https://www.timothypauljones.com/proof-a-quick-introduction-to-proof-9daysuntilproof/