Proof code for 2020-07-07.

The code for 2020-07-07 is aacd40a4-bc92-494d-924b-68f230799b72.