 While  Section 4  considers some difficulties for specific hyperintensional theories, here we discuss general objections to the very idea that we need a theory of language or mind that marks hyperintensional distinctions. One kind of argument in this ballpark has to do with a general “Boolean” challenge to formulating a semantics for hyperintensional expressions in the dominant truth-conditional framework. This style of argument will be discussed in  §2.1.