Proof code for 2020-01-18.

The code for 2020-01-18 is f96dea90-1215-4c6e-9c4e-925680fb9276.