Proof code for 2020-11-28.

The code for 2020-11-28 is 40ae2b39-78d5-4617-8ac7-ebef3baeccc5.