Proof code for 2023-09-20.

The code for 2023-09-20 is ed9fccc0-ef13-407a-b84d-a5e0e74ba1c0.