Which of the following statements about social choice procedures is NOT correct? Group of answer choices The Borda count satisfies the monotonicity property. Plurality voting satisfies the Pareto property. Plurality voting satisfies the Independence of Irrelevant Alternatives property. The Hare (instant runoff) system fails to satisfy the monotonicity property. Condorcet's method satisfies the Independence of Irrelevant Alternatives property.