1. Introduction
2. Krifka (1999) and Umbach (2005)
2.1 Overview of Krifka (1999) and Umbach (2005)
2.2 Discussion
3. Kadmon (2001) and Schulz and van Rooij (2005)
3.1 Overview of Kadmon (2001) and Schulz and van Rooij (2005)
3.2 Discussion
4. Clausal Implicature Analysis
5. Proposal
5.1 No Redundancy Principle
5.2 The Puzzle Solved
References