Proof code for 2020-12-11.

The code for 2020-12-11 is 3f5febfa-83c2-4821-a38d-1c6139002f19.