Proof code for 2022-01-23.

The code for 2022-01-23 is eb84d129-c408-453f-94e2-18f8a6dc5d08.