Let for each in I, be the conjunction in some definite arbitrary order of all the subsentences of A that are true at in the original countermodel, together with the negations of all the subsentences of A that are false at in the original countermodel.