 Local satisfaction is at the heart of dynamic theories of presupposition, but we’ve already seen that it faces some empirical challenges in accounting for conditionalized presuppositions. Specifically, sometimes satisfaction theories generate weaker conditional presuppositions when intuitively the speaker is presupposing a stronger, unconditionalized presupposition. Geurts (1996,1999a) deems this "The Proviso Problem," and the data surrounding this problem has left quite a mess for proponents of satisfaction theories to clean  up.[22]