An attempt to specify some necessary semantic properties of utterances used ironically or sarcastically. An interpretation principle in terms of implication and semantic opposites is proposed, and the implications for the Gricean theory of conversation are discussed.