Is this distinction equivalent to satisfiability of the contract wrt any case vs satisfiability of the contract wrt this case? How do you constrain "any case"

Is this distinction equivalent to satisfiability of the contract wrt any case vs satisfiability of the contract wrt this case? How do you constrain "any case" to something reasonable, or does it need no constraining?