Proof code for 2020-12-27.

The code for 2020-12-27 is 248a3343-cffe-49fe-ae34-20285b81d769.