Proof code for 2021-11-20.

The code for 2021-11-20 is 014a6136-99a1-42df-9e47-4bb3d8d74f5f.