Proof code for 2022-08-20.

The code for 2022-08-20 is 1bad0e1a-40be-4347-bbee-7710e0938fff.