Proof code for 2019-11-17.

The code for 2019-11-17 is 677c6571-39f4-40f3-9c45-e6b96a26fe35.