Tweak Generalized Clash statement; start filling in proof.
Fix duplicate words.