Proof code for 2021-08-21.

The code for 2021-08-21 is 5741a18b-7677-4db0-b3b9-b18c5462efd4.