Proof code for 2020-07-27.

The code for 2020-07-27 is 52b03d22-aa46-4d2f-a313-9fc9c6bae695.