Proof code for 2020-12-18.

The code for 2020-12-18 is 7f6df437-bac7-4ba1-9a38-e2ac7eb0b302.