Proof code for 2020-01-08.

The code for 2020-01-08 is c7f66b7f-e41e-4774-9238-06dd57c4bf46.