Proof code for 2020-11-22.

The code for 2020-11-22 is f3a0b210-aa79-40ce-9014-2ce9ca069e9d.