Proof code for 2019-11-16.

The code for 2019-11-16 is 429c980e-0f91-412e-b7eb-9e9c818afe9e.