Proof code for 2021-04-21.

The code for 2021-04-21 is d4d298eb-0c89-4a30-a0a9-a648317760cd.