Proof code for 2021-02-05.

The code for 2021-02-05 is 2c16957a-1387-4612-8318-489bc5a95a47.