Proof code for 2020-07-02.

The code for 2020-07-02 is d941b0f5-0341-49ec-a3bf-5ed8b1e1c466.