Proof code for 2022-08-18.

The code for 2022-08-18 is 2860ef13-65d6-4113-a0ee-048e5fde1465.