Proof code for 2020-06-21.

The code for 2020-06-21 is 7c664257-d2ce-4cdf-a539-38fb2a81d60e.