Proof code for 2020-06-27.

The code for 2020-06-27 is 21ffd396-82f1-45e8-a7ff-db3f766d8b1a.