... given the premise A-->B and the conclusion B some C, I automatically ... this argument to validity is A --> C. However, when I see ... around premises and still get a valid argument form. For ... above, A‑m→B was switched into premise 2 and B→C was switched ...