Proof code for 2020-06-25.

The code for 2020-06-25 is d0f77bec-f2a0-4a00-8190-6a534a18e7a1.