Based on the passage, it can be concluded that the author and Broyles-González hold essentially the same attitude toward

I don't really understand the rule that the "arrow must point away from the quantifier". B-some-A B --> C Why can't I conclude C-some-A, considering that "some" statements are reversible?