Proof code for 2019-11-07.

The code for 2019-11-07 is d89031ac-1716-45fc-9988-0b36ef8f9eda.