Proof code for 2020-10-13.

The code for 2020-10-13 is d701a2cc-cd1c-46cd-90cd-e1e0c443e3a2.