Proof code for 2021-07-17.

The code for 2021-07-17 is e16598d7-1eef-41fc-92db-81718ad7b785.