Proof code for 2020-07-31.

The code for 2020-07-31 is 234e5173-e501-4b46-8cd6-6a051213d0b7.