Proof code for 2021-01-21.

The code for 2021-01-21 is 2a4ae2fc-df2e-4295-952f-b24b71792e62.