Proof code for 2020-05-07.

The code for 2020-05-07 is ab581184-6da8-435c-bb08-032d60a137ac.