  In the list of conditions on frames, and in the rest of this article, the variables ‘\(w\)’, ‘\(v\)’, ‘\(u\)’, ‘\(x\)’ and the quantifier ‘\(\exists u\)’ are understood to range over \(W\). ‘&amp;’ abbreviates ‘and’ and ‘\(\Rightarrow\)’ abbreviates ‘if…then’.