 The picture above indicates there is no a-arrow from v to w that is either drawn or implied. So we conclude that \(v\not\geq_a w\) only after we have taken into account all drawn and implied a-arrows and determined that no a-arrow from v to w is indicated. 