Proof code for 2020-05-11.

The code for 2020-05-11 is 367d1bbd-ef8c-49bd-9e7a-b3cb4f7d83d8.