Using the method of counterparts, we may say that something satisfies the formula A(x) C(x) at a world iff some (accessible) world where some counterpart of satisfies A(x) and C(x) is closer to than any world where any counterpart of satisfies A(x) and (x), if there are (accessible) worlds where a counterpart of satisfies A(x).