Proof code for 2020-07-13.

The code for 2020-07-13 is e8fe5962-eeb1-47c3-a5d3-73531a0efe8d.