Proof code for 2023-11-20.

The code for 2023-11-20 is add1e366-df18-4cf2-987e-5a7691a07809.