Proof code for 2020-08-14.

The code for 2020-08-14 is 5620004b-227b-4318-8d78-25143be0c26f.