Proof code for 2020-08-09.

The code for 2020-08-09 is b0877958-51fa-4cf6-ae1c-95e64fe53415.