Proof code for 2021-07-20.

The code for 2021-07-20 is 8308ce98-1e88-4579-8dd1-e0806d8e6ed9.