Proof code for 2021-01-26.

The code for 2021-01-26 is 712614d2-bc26-4883-b165-af93a9f20341.