Proof code for 2019-09-18.

The code for 2019-09-18 is 8c032502-aadf-468d-adfc-6f9fbfd1fe25.