Proof code for 2020-07-14.

The code for 2020-07-14 is 9a2472ac-ff5c-4254-8505-1911afef0bf4.