Proof code for 2020-05-27.

The code for 2020-05-27 is 53144b1c-2580-490d-ac75-6b38a7b734ed.