Proof code for 2021-08-24.

The code for 2021-08-24 is 61fac246-3665-46f8-b33b-2b3f392ae980.