Now this leaves me wondering, should I agree because I have had similar experiences when trying to improve some frankly unintelligible proofs in certain sections of CS wikipedia, or should I carefully disagree because of the suspicious second part of your comment? :=)