Proof code for 2020-01-06.

The code for 2020-01-06 is 5b3c6430-f48d-4037-b3dc-e8f6cc98c442.