Proof code for 2020-11-23.

The code for 2020-11-23 is 752e8d28-a7ee-4ec3-ac6a-8af82e66bfef.