Proof code for 2021-01-13.

The code for 2021-01-13 is 991a965b-8111-4fc7-8fea-6737ae72e0c5.