Proof code for 2020-09-21.

The code for 2020-09-21 is dadd52be-3337-422a-8169-e7bbdcb9fe2f.