Proof code for 2020-02-14.

The code for 2020-02-14 is 8eb66373-6daf-41f9-ac35-8ddb4e517570.