Proof code for 2021-07-05.

The code for 2021-07-05 is 207e638a-5af4-486a-926b-39d4871dd493.