Proof code for 2020-06-14.

The code for 2020-06-14 is cff9f2a7-2484-48dd-8b19-e24e4ca1a356.