Proof code for 2021-08-07.

The code for 2021-08-07 is 20f80321-be41-440a-b130-900e564f770d.