Proof code for 2020-01-28.

The code for 2020-01-28 is a56d6479-18ee-47c7-b9df-ca5e87d00af3.