Proof code for 2020-05-15.

The code for 2020-05-15 is f3108a38-bd50-4462-990e-927849984a29.