Proof code for 2020-07-23.

The code for 2020-07-23 is 83317ccc-ef7e-42a0-bcc5-853d0c5cfe94.