Luis: here is an explanation of the meaning of via and to-stop: via and through have the same meaning. The meaning of "from A via {B,C} to D" is the strategy graph: {A -> B B -> D A -> C C -> D} The meaning of "from A bypassing{...} via {B,C} to D" is the strategy graph: {A -> B bypassing{...} B -> D A -> C bypassing{...} C -> D} ------- The meaning of "from A via {-> B,c,C} to D" is the strategy graph: {A -> B B -> C only-through {-> B,c,C} C-> D} only-through is the negation of bypassing. ------ The meaning of "from A via {-> B,c,C, -> Q,r,R} to D" is the strategy graph: {A -> B B -> C only-through {-> B,c,C} C-> D A -> Q Q -> R only-through {-> Q,r,R} R -> D} ------ The meaning of "from A to-stop B" is the strategy graph: {A -> B bypassing { /* all edges outgoing from B */ } }