Proof code for 2020-02-04.

The code for 2020-02-04 is 6c23bb82-b687-4e3f-87bf-a960501d5eaa.