arrows theorem. What does it really mean for a theorem to have the consequence that it is logically inconsistent