Proof code for 2021-07-27.

The code for 2021-07-27 is bca10516-4cf4-48e2-a732-1e45d136336f.