Proof code for 2019-11-23.

The code for 2019-11-23 is 12da8644-1523-4f19-b099-f4482b9be432.