If "and" is on the necessary side for the example if M is adopted then O and N are adopted, and we draw it with two arrows pointing from M does it still mean that if M is adopted then both O and N are adopted? Or since the can be shown as two different arrows pointing from M that means at if M is adopted then at least one of them is also adopted?