Proof code for 2020-11-17.

The code for 2020-11-17 is 4289bd4a-39c7-4dc6-b59f-c2e55f87afa3.