Proof code for 2021-02-13.

The code for 2021-02-13 is b24ad054-55a6-472c-9e1d-5c968d24b549.