Proof code for 2019-09-28.

The code for 2019-09-28 is a4516ba2-bbb8-479d-a486-21249118cec5.