Proof code for 2020-11-21.

The code for 2020-11-21 is d4c3a3a6-2b28-4213-a1ac-b007628ce763.