Proof code for 2019-08-21.

The code for 2019-08-21 is 4157006c-f30b-4bfa-8e0f-bd7a066e3373.