Proof code for 2020-04-21.

The code for 2020-04-21 is 83710958-e412-4047-8234-b0fc16a95dbe.