Proof code for 2020-08-28.

The code for 2020-08-28 is ce23be8b-abad-48bb-ab11-75738c38f416.