Proof code for 2020-01-17.

The code for 2020-01-17 is 491d0831-d45a-493f-9105-d41a17771e41.