Proof code for 2020-09-14.

The code for 2020-09-14 is a442e461-fc8f-4eac-9f3c-118829f943ef.