 Which is it going to be? That’s a hard question, which raises various issues, only some of which we can mention here. First, it should be noted that, whereas for theories of the satisfaction family it is hard to avoid making the prediction that presuppositions projected from attitude contexts are of the form “x believes that φ”, DRT-style theories are more flexible, and can predict either this or that the presupposition is simply φ. In other words, satisfaction theories are more constrained (which is good), but therefore practically forced to resort to Option B.