Proof code for 2020-08-19.

The code for 2020-08-19 is c0ada324-26e1-44d0-9f08-b797b704f413.