Proof code for 2020-02-21.

The code for 2020-02-21 is c63bc090-a338-4328-9913-c0911a120e43.