Proof code for 2020-09-20.

The code for 2020-09-20 is ca307766-334c-41ef-bf8c-7e34b99a473a.