Proof code for 2021-08-14.

The code for 2021-08-14 is a1db9716-3aff-461a-9295-9c7017ed9463.