A problem is dealt with just as before. If the problem in x is
you find a world y applying lemma 5.2
such that
,
and y is such that it is also maximal
w.r.t. the
-inclusion. You then define x ReB y and close
off in a minimal way under the
-frame conditions.