Proof code for 2020-06-24.

The code for 2020-06-24 is 44bbf0c3-b657-49fc-9bc4-1f0e52fba243.