Proof code for 2020-08-11.

The code for 2020-08-11 is 60f61995-c2c0-4209-a9ea-023b8f5f0184.