Proof code for 2020-02-05.

The code for 2020-02-05 is d809b734-1022-400d-8955-05313f14ce75.