Proof code for 2020-04-02.

The code for 2020-04-02 is 6c0d1bcc-225b-465c-b6d3-07686d8dccda.