Proof code for 2021-08-28.

The code for 2021-08-28 is dfe82f61-8633-4225-9310-ef58f665f361.