Proof code for 2020-07-06.

The code for 2020-07-06 is ad0e9f2b-7b91-4dda-be84-73b6db12280c.