Proof code for 2021-06-19.

The code for 2021-06-19 is db900041-1097-4272-a16d-0ae9930e70e6.