Proof code for 2019-09-26.

The code for 2019-09-26 is 5cdda695-49e2-498b-ae86-88ccfa85eb09.