Proof code for 2019-11-28.

The code for 2019-11-28 is f79ebc90-ca4a-4de0-bcf3-601ea7304cd3.