Proof code for 2019-08-28.

The code for 2019-08-28 is 8332ed8d-14fd-452b-9705-259f5d79e0a8.