Proof code for 2019-08-23.

The code for 2019-08-23 is bdb04804-1769-4fcd-8f1f-11ddbf00f40a.