Proof code for 2020-06-15.

The code for 2020-06-15 is ad494938-d445-4068-96d8-e0c5e7f1910b.