Proof code for 2020-06-13.

The code for 2020-06-13 is ecff0fc6-bde4-4106-9c7b-7e0ada8b5c14.