Proof code for 2020-01-26.

The code for 2020-01-26 is c41c692e-0b1f-44ab-9288-e02b5de609ed.