Proof code for 2020-08-10.

The code for 2020-08-10 is e044393d-6ae8-4fc0-8c25-6c200b624c5a.