Proof code for 2019-08-20.

The code for 2019-08-20 is 721cdf27-61f1-4ea4-92fe-4764e1ce73a2.