Proof code for 2020-09-11.

The code for 2020-09-11 is 3ef08d59-12a2-4c47-b13c-d882341f7925.