Proof code for 2021-11-24.

The code for 2021-11-24 is bb0e8a2c-bd94-4dd8-84cb-bc1f451ccf2c.