Proof code for 2019-08-14.

The code for 2019-08-14 is a959bc1f-7b3f-4614-849c-456b977c8b50.