Proof code for 2020-12-23.

The code for 2020-12-23 is ad2983b6-7274-460a-8148-df0e035562c0.