Proof code for 2019-09-19.

The code for 2019-09-19 is 44eeb989-5f0d-49f8-9c67-50ad7171e3e8.