Proof code for 2020-05-14.

The code for 2020-05-14 is 1a2f97f9-353b-43df-92dc-e787d96a83fa.