Proof code for 2020-07-12.

The code for 2020-07-12 is 3bb126e8-9748-4efc-afcb-b6ad5c32510f.