Monotonicity, Independence of Irrelevant Alternatives and Strategy- Proofness of Social Decision Functions