Proof code for 2022-04-27.

The code for 2022-04-27 is e8935949-bac1-4d2d-9610-b4ef8e2ee0d7.