Proof code for 2019-08-26.

The code for 2019-08-26 is e957d33c-a069-47e0-bcd0-7c42e5b98c99.