Proof code for 2020-01-22.

The code for 2020-01-22 is 40bca67f-0dbf-4202-b06f-f8b5d7f6ffcb.