 These truth-conditions, however, make sense only if \(\lvert A\rvert^M_w\) possesses minimal elements under \(\prec_w\), that is, only if we can assume (L), in which we write \(v \preceq_w u\) for \(v \prec_w u\) or \(v = u\):