Proof code for 2020-01-21.

The code for 2020-01-21 is d8a32eac-c4c1-4d10-bf9a-276b6bff1365.