Proof code for 2020-09-16.

The code for 2020-09-16 is a3f16dc8-256a-4eaf-af41-18da883d54a9.