Proof code for 2020-10-21.

The code for 2020-10-21 is ea3f8a2e-1861-4eaf-b34e-ead791f18b40.