Proof code for 2021-07-14.

The code for 2021-07-14 is faf12fea-a451-449c-bd70-1726e2419f12.