Proof code for 2021-07-15.

The code for 2021-07-15 is ff073c25-9a0c-417d-8a36-ef7169a77bbf.