Proof code for 2021-02-20.

The code for 2021-02-20 is d5fa779c-5a6e-4cef-82c3-80159661078b.