Proof code for 2021-09-05.

The code for 2021-09-05 is f5eb46b2-3932-4908-90d9-200c9e3f6bb8.