Proof code for 2020-08-20.

The code for 2020-08-20 is 0cdc3dc1-c2aa-4507-a0dc-a1a22e14bb65.