Proof code for 2020-11-16.

The code for 2020-11-16 is b7b44efa-7bd3-4e77-93b0-e294656311ce.