Proof code for 2020-11-14.

The code for 2020-11-14 is f1283e15-70c8-4f70-bdd2-032165517571.