i don't understand why you can't split the arrow when there's a disjunction in the necessary condition. Is it because only one of the two can happen when the or is in the necessary condition?