Proof code for 2023-06-21.

The code for 2023-06-21 is b2edacb2-cc84-43da-8c00-cd7138858f0e.