Proof code for 2021-01-23.

The code for 2021-01-23 is 6e372317-ccb9-46fd-8b14-5976b97e9c49.