Proof code for 2021-07-11.

The code for 2021-07-11 is 28b521fd-608a-4e3f-aae9-17440fd37424.