Abstract

This note presents challenge cases for prominent pragmatic responses to the proviso problem. I offer examples of uses of conditionals _if_ \(\psi,\,\phi_{P}\) that seem to commit the speaker unconditionally to the presupposition _P_ of the consequent clause _ϕ_, even though the sentence’s predicted semantic presupposition _ψ_⊃_P_ is antecedently satisfied (contrary to context-repair accounts), and independence between _ψ_ and _P_ isn’t antecedently assumed (contrary to independence-driven accounts). The examples provided avoid problems with other examples from the literature used against pragmatic accounts. I leave the matter as an unresolved challenge for satisfaction theories of presupposition.