Proof code for 2020-12-14.

The code for 2020-12-14 is 143d2026-d974-4e97-8b34-9e872a279ee2.