Proof code for 2021-04-14.

The code for 2021-04-14 is e348cb18-6809-4be9-b9d7-02e43804ab00.