Proof code for 2020-04-24.

The code for 2020-04-24 is f2d73317-6990-44bc-95ad-cef9b978ee8b.