https://pauljacobson.me/2008/02/25/proof-in-the-pudding/