Proof code for 2021-06-29.

The code for 2021-06-29 is cfe4b556-88a9-45c3-9159-29ba4f635101.