Proof code for 2020-08-05.

The code for 2020-08-05 is 16c76f2f-be82-44a1-a47d-8ca4d97919ae.