Proof code for 2020-11-15.

The code for 2020-11-15 is cb3c7b5f-ca1d-4168-b0a4-90dbef84da7c.