Proof code for 2021-06-28.

The code for 2021-06-28 is 09e4ad14-9a42-493e-ab92-a96f64d06f2b.