Proof code for 2021-01-20.

The code for 2021-01-20 is 99b2d242-ad2a-4fb2-9d8d-bc53d2b8f19d.