Proof code for 2019-08-15.

The code for 2019-08-15 is d317df0a-0df6-4f87-bcdf-a12e3575fd91.