You don't have to agree with Bruce Norris's theorems to be dazzled by the way the proof has been worked out.
