Proof code for 2021-11-28.

The code for 2021-11-28 is 34c70a83-9d8c-4681-92d0-a191f5605e8c.