Proof code for 2020-07-30.

The code for 2020-07-30 is c61fea84-3c90-42e2-92d3-0ef81396d3b5.