Proof code for 2020-09-01.

The code for 2020-09-01 is ca502419-0ed3-4c51-b4fd-5c6f2e98c0b0.