Proof code for 2020-06-18.

The code for 2020-06-18 is 847c2642-d5e1-4489-9964-f93def62a5e8.