Proof code for 2020-07-21.

The code for 2020-07-21 is 5062ca03-7dd4-415c-a5a5-ca0f1ce556d0.