Proof code for 2021-11-14.

The code for 2021-11-14 is 3976477f-20f6-4a2f-b3ae-7e434f31fb23.