Satisfied or exhaustified: an ambiguity account of the Proviso Problem