Proof code for 2019-09-16.

The code for 2019-09-16 is bd5de506-ea49-46f6-9f7a-ea7a0c51c025.