Proof code for 2019-11-12.

The code for 2019-11-12 is 8fa2a6aa-0f27-42af-bb04-610180f56dc6.