Proof code for 2020-02-24.

The code for 2020-02-24 is 00d46cb7-7507-48d5-86a7-fbd67ea7e212.