Proof code for 2020-07-26.

The code for 2020-07-26 is 6960d161-a57f-4fab-a3c9-d5b1a0f5fb86.