Grice's theory of implicature examines how speakers imply meanings beyond what is literally said through utterances. It distinguishes between what is said, based on literal meaning of words, and what is implicated or suggested. Grice provides an example where a speaker implies something different by saying "he hasn't been to prison yet." His theory also differentiates between conventional implicatures from literal meanings of words and conversational implicatures derived from cooperation between speakers. Grice proposes a cooperative principle and maxims like quality and quantity that speakers generally follow but can flout to generate implicatures. When maxims are flouted, hearers can infer additional intended meanings or implicatures.