Proof code for 2019-11-13.

The code for 2019-11-13 is 565b7906-ceee-46e3-b6fc-57e9f130bb32.