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