Proof code for 2019-12-14.

The code for 2019-12-14 is 461e1e42-261f-4367-ad98-94e9dd67a331.