Proof code for 2020-01-05.

The code for 2020-01-05 is f2dffba9-3f95-4f4c-8366-38108a12b527.