 The two sentences are examples of a traditional problem called ‘quantification into intensional contexts’. Traditionally, the second sentence as a whole was seen as an intensional context, and the novelty of Montague’s solution was that he considered the object position of seek as the source of the phenomenon. He formalized seek not as a relation between two individuals, but as a relation between an individual and a more abstract entity (see section 2.2). Under this analysis the existence of a unicorn does not follow. The de re reading is obtained in a different way (see section 2.5).