Proof code for 2019-08-29.

The code for 2019-08-29 is 4d9f481b-83c1-4fd9-b48b-c6abd03f59ea.