Proof code for 2021-07-22.

The code for 2021-07-22 is d7b4ab79-e521-46f1-a74f-e4fabdb99074.