Proof code for 2020-09-08.

The code for 2020-09-08 is 58b4bf15-2e1d-4e57-bf80-2d1d74d36277.