Proof code for 2020-10-20.

The code for 2020-10-20 is 87f3cf0b-6a69-4a9d-8898-21238b628e63.