Proof code for 2021-11-22.

The code for 2021-11-22 is b2f21e64-bc02-4173-a045-70f461cffdb5.