Proof code for 2019-09-27.

The code for 2019-09-27 is 8db18727-07da-4c46-9874-422bc62a48dd.