Proof code for 2020-09-28.

The code for 2020-09-28 is b8831e6a-d5c8-4478-a26b-00b5e715d160.