Proof code for 2020-12-28.

The code for 2020-12-28 is 831e2c2b-053f-485e-82e4-f90ac518a715.