Proof code for 2021-08-06.

The code for 2021-08-06 is d6f97653-d09b-4441-bc93-93027d436592.