Fill in more boilerplate in the Generalized Clash proof.