Proof code for 2020-06-04.

The code for 2020-06-04 is 498700ff-2657-4888-9798-eaae54d610bd.