Proof code for 2021-08-25.

The code for 2021-08-25 is cc50e4b8-d24e-49b4-826a-b4c59b9d0922.