Proof code for 2023-02-20.

The code for 2023-02-20 is c42a398b-7d13-4d94-a8e7-0decd550ff73.