Proof code for 2019-11-22.

The code for 2019-11-22 is de8e7a22-c8db-45af-a065-ba78a036746d.