Proof code for 2019-09-04.

The code for 2019-09-04 is fb84d1eb-fbab-4260-b636-c859e5a013df.