Proof code for 2021-05-05.

The code for 2021-05-05 is 3de3c146-8af3-4a45-b974-14a7bd589d35.