Proof code for 2020-02-17.

The code for 2020-02-17 is 24d09544-7782-45d7-a7ef-d22d108bc21b.