Proof code for 2020-11-20.

The code for 2020-11-20 is bca1da0e-9791-4b16-a138-6a8f87966821.