Proof code for 2019-12-17.

The code for 2019-12-17 is bbbdc555-3660-4263-b285-701773fb1253.