Proof code for 2021-07-21.

The code for 2021-07-21 is ebccd67f-c70b-4067-ad6e-60d084bbab59.