David, I agree with you.  I think Mathsci's large-scale changes to this section ought to be reverted for the time being while we discuss them.  This isn't because they're necessarily wrong, but just because a single editor shouldn't be overriding existing consensus with only a bare minimum of discussion.  I'd rather not revert the article any more today, though, so I don't think I should do this myself.  Does anyone else want to?