 For nearly four decades, the Holy Grail of presupposition research has been to explain the behavior of presuppositional expressions occurring in embedded positions. A particularly challenging mode of embedding arises with attitude verbs. If we embed a presupposition trigger under, e.g., “believe”, we observe two types of inference. This is seen in the following examples, where “→” indicates that there is an inference, but of unspecified type: