Proof code for 2020-04-08.

The code for 2020-04-08 is 061fd5a1-0430-4542-8f4a-5bd86497f342.