Proof code for 2020-01-23.

The code for 2020-01-23 is c55807d9-7044-46b5-8214-6a1df33c8535.