Proof code for 2021-05-26.

The code for 2021-05-26 is 4fe4023c-61ad-4795-9703-6ee2d61111c0.