Proof code for 2020-03-28.

The code for 2020-03-28 is ac6b6ee5-f22c-4f1f-b76b-029081ee0d9c.