Proof code for 2021-11-19.

The code for 2021-11-19 is 2952a3f4-5c2b-4ca4-871b-e4739d804bf5.