Proof code for 2023-01-28.

The code for 2023-01-28 is 5585029f-56a1-4d48-8c87-4f37893a413f.