Proof code for 2020-07-11.

The code for 2020-07-11 is ae12b9a4-bedd-46a2-b33b-7b1d2657d5ac.