Proof code for 2020-12-08.

The code for 2020-12-08 is e8691ce2-12da-4482-9d4a-6e79de3bf303.