Proof code for 2020-08-30.

The code for 2020-08-30 is de9be3f8-7087-4957-af1f-ae7b9487d40b.