Proof code for 2020-02-20.

The code for 2020-02-20 is 74f4cf80-ec58-4bd6-87e1-2791aad25010.