Say the number of voters is odd. Now consider a single-peaked domain—one that is made up entirely of single peaked profiles. Black’s result tells us that pairwise majority decision on this domain satisfies SO. Provided the domain is sufficiently inclusive (so that for each \(i\) there is within the domain some profile in which \(i\) is not the median voter) it also satisfies D. Pairwise majority decision always satisfies WP and I, so such a domain is Arrow consistent.