Proof code for 2020-04-18.

The code for 2020-04-18 is 05efb734-77c7-4360-a892-232ffa54a842.