Proof code for 2021-05-27.

The code for 2021-05-27 is 2084a0f1-5114-4182-8103-0c716d9aff48.