Since \(I^*\) and SN are logically stronger than I, obviously a version of Arrow’s theorem can be had using either one of them instead of I. Such a theorem will be less interesting, though—not only because it is logically weaker but also because, as we have seen, these more demanding conditions often are unreasonable.