Proof code for 2023-01-14.

The code for 2023-01-14 is 14efb947-9078-448a-9cd7-d58a99d27db3.