We are further given an additional sentence s 2 , which is counterfactual to the initial context s 2 .
s 2 states something contrary to that in s 2 , which in turn can make the original ending s 3:5 no longer valid.