 If our presupposition theory predicts that the inferences projected from “x VA” are of the form “x believes that φ”, then we can appeal to exportation to explain why φ is inferable, as well. Vice versa, a theory which predicts that φ is presupposed can use importation for deriving “x believes that φ”. So we have two options: