Proof code for 2020-05-19.

The code for 2020-05-19 is a77ce190-dd49-4a4b-86eb-a778728f14c6.