Proof code for 2020-09-12.

The code for 2020-09-12 is 6122c4d7-224d-4c81-9139-37b9fc4878c6.