Proof code for 2020-07-08.

The code for 2020-07-08 is ce37cafe-9a28-4b61-bac6-093b7d4cc729.