 The first two lines are the cases in which the antecedent is true, so in those the “nearest” world is the actual world. If on the other hand \(w_3\) is actual, that does not tell us whether the nearest \(A\)-world is \(w_1\), in which case the conditional is true, or \(w_2\), in which case the conditional is false.