Proof code for 2020-11-19.

The code for 2020-11-19 is 16dcab88-5056-41e0-8fc0-9a58c368d03f.