Proof code for 2020-01-09.

The code for 2020-01-09 is 48e3c783-daa4-41c6-99b1-e8786694009a.