Proof code for 2021-02-17.

The code for 2021-02-17 is 14323645-9daa-4804-bcfa-0f48d1c7b34b.