Proof code for 2020-12-16.

The code for 2020-12-16 is 5199ee8e-97ae-42fa-a5c5-5717581cf41c.