Proof code for 2019-09-13.

The code for 2019-09-13 is c9d61e09-ed7b-42b8-9283-3ab72e552786.