I would go a little farther. Since Arrow's was a PROOF in which no one has
found a flaw in over 50 years, I would say that anyone who has found fault
with it is not a "vote theorist."
But Arrow didn't prove that IIA compliance was necessary, or even desirable (although the latter was probably assumed). He merely proved that IIA was incompatible with other criteria.
---- Election-methods mailing list - see http://electorama.com/em for list info