Proof code for 2021-05-21.

The code for 2021-05-21 is 75f9187a-23e4-46d6-879b-df5900c0a23e.