Proof code for 2021-07-08.

The code for 2021-07-08 is 97703d11-7cd1-4ef4-ac4b-ba75b676e611.