Proof code for 2021-04-20.

The code for 2021-04-20 is 34297b98-d59c-41d5-82ba-4469546583bd.