Proof code for 2019-11-14.

The code for 2019-11-14 is a128d30d-e7a1-4217-bc0d-4b172229f176.