Proof code for 2021-09-08.

The code for 2021-09-08 is e3d51207-6314-4b1a-89f3-55552c1e7ef3.