Proof code for 2021-08-20.

The code for 2021-08-20 is 25acefe4-8ded-414e-95d8-d340cf86cc19.