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.

本说明介绍了对但书问题的突出务实反应的挑战案例。我提供了使用条件句if  \(\psi,\,\phi_{P}\)的例子，它似乎无条件地让说话者接受后件从句ϕ的预设P，即使句子的预测语义预设ψ ⊃ P是先前满足（与上下文修复帐户相反），以及ψ和P之间的独立性不是事先假设的（与独立驱动的帐户相反）。所提供的示例避免了与文献中用于反对实用主义帐户的其他示例的问题。我把这个问题作为对预设满意度理论的一个未解决的挑战。