Proof code for 2021-10-28.

The code for 2021-10-28 is 195604e8-2fcf-4ae7-ac23-9b840ea0c05f.