Proof code for 2019-12-21.

The code for 2019-12-21 is c9388dbe-207c-406e-a86e-9d1180b631e0.