Proof code for 2020-06-23.

The code for 2020-06-23 is d27d57e6-3e9c-47a6-a80c-f6945f589416.