Proof code for 2020-11-04.

The code for 2020-11-04 is c8d1fd8e-aec9-41e1-91be-748bc0ac8f90.