Proof code for 2019-09-20.

The code for 2019-09-20 is d5340419-adef-445e-ab4f-a4044faed751.