Proof code for 2020-04-14.

The code for 2020-04-14 is 1dada6d3-9a44-4295-9880-6c8e219bbe46.