Proof code for 2021-08-23.

The code for 2021-08-23 is 58c267bb-c7a6-4c17-9316-b08af5b5f197.