 Next, some, following Grice, consider such pragmatic contributions to utterance meaning to be generalized conversational implicatures (Levinson), others classify them as pragmatic input to what is said, albeit using a variety of theory-specific labels (Recanati, Carston), reserving the term ‘implicature’ for meanings that can be represented by a separate logical form and that function independently from the content of the main utterance in reasoning. Others define them as contributions to primary meanings where the latter cut across the explicit/implicit divide (Jaszczolt). Yet another possibility is to regard them as a separate level of what is implicit in what is said (Bach 1994, 2007; Horn 2006). In short, the status of such ‘default’ meanings is still far from clear. However, at least in general terms, there is a reason for drawing a distinction between salient, automatic enrichments and costly pragmatic inference since some of these pragmatic contributions go through normally, unnoticed, as a matter of course. As Horn (2004: 4–5) puts it,