Proof code for 2019-09-12.

The code for 2019-09-12 is 5cb342c6-0081-497a-8f59-79ef5ba15ac3.