Proof code for 2021-07-18.

The code for 2021-07-18 is 70b1ef19-5fb7-47b2-99df-40e6ab7170e2.