Proof code for 2019-08-22.

The code for 2019-08-22 is 9f0810bd-dd59-47c4-8354-afd48f6ef816.