Proof code for 2020-06-22.

The code for 2020-06-22 is ed72c71a-38b9-4337-9777-0cd829798010.