Proof code for 2020-08-04.

The code for 2020-08-04 is 3c8b15ce-2c9f-486e-9870-89210eb4294e.