 Montague (Montague 1973) held to a policy of holding fixed the semantic type of lexical items by their category, so that names, falling in the same category as quantifier phrases, were assigned the same type as quantifier phrases. Otherwise, he reasoned, there would be a type mismatch when we conjoined names and quantifier phrases. Others, however, have been content to posit ambiguities in type for one and the same expression. Thus, we may posit that ‘John’, when the word occurs alone, is of type ⟨e⟩ (entity referring) but when conjoined with ‘every man’, it is of type ⟨⟨e,t⟩,t⟩ (a function from functions to truth values) just like quantifier phrases. The semantics is carefully rigged so as not to make a truth-conditional difference; but there is ambiguity nonetheless in what names literally express.