Proof code for 2020-05-06.

The code for 2020-05-06 is 45ad5b0a-93d0-468a-b669-838d50c859d0.