Proof code for 2020-07-18.

The code for 2020-07-18 is 983d0f44-39dc-45e1-8a92-25d1ef0851d3.