Proof code for 2020-02-07.

The code for 2020-02-07 is 70fde7f0-4d89-4761-973e-98eb14f87d1d.