Proof code for 2020-02-22.

The code for 2020-02-22 is 2a587821-0d5a-4825-8823-2d331adddaa9.