Proof code for 2020-02-19.

The code for 2020-02-19 is d788b2da-c5fa-4e77-bc08-224a013eb1a5.