Proof code for 2021-06-24.

The code for 2021-06-24 is 5faae4dd-adea-4abf-944c-9ee8f18f3d3a.