Proof code for 2019-09-23.

The code for 2019-09-23 is 216a2765-c243-40a3-aba0-59fe93fe1324.