Proof code for 2020-03-08.

The code for 2020-03-08 is a08864aa-0957-4d40-8aa0-28c7ab71037a.