Proof code for 2020-04-22.

The code for 2020-04-22 is caa20a3a-850b-462b-b773-bbec666278c0.