Proof code for 2020-08-23.

The code for 2020-08-23 is 21cacac1-d3a8-4557-9a3a-e2a3e6dec78c.