Proof code for 2020-01-11.

The code for 2020-01-11 is 64b2dcca-40c7-4052-b12b-58978a6f388c.