Proof code for 2020-12-17.

The code for 2020-12-17 is dd4ce514-c84f-4a00-a1c6-4da853bade99.