Proof code for 2020-12-19.

The code for 2020-12-19 is 21d78658-94e7-459c-955a-3510d00d9dfe.