Proof code for 2019-08-24.

The code for 2019-08-24 is 965b8778-bb78-4b4c-84f1-1f37513947f2.