Proof code for 2020-06-09.

The code for 2020-06-09 is 22c2200e-4d8b-4a15-8835-22bf34f36a77.