Proof code for 2020-01-16.

The code for 2020-01-16 is 3949e039-f1da-4f42-9345-30151b4c5918.