Proof code for 2020-03-07.

The code for 2020-03-07 is 9cd7e956-27ea-44d5-9ea2-d60da57ce9a3.