 The proviso problem is still a relevant hurdle for proponents of modern satisfaction theories. Mandelkern (2016) presents a version of satisfaction theory designed to avoid the proviso problem entirely. Romoli et al (2011) explore this issue experimentally by asking which presupposition -the conditional or unconditional option- is more basic. But, ultimately the proviso problem is less problematic for other accounts of presupposition, which don’t rely on local context updates.