Logically in series

If and are strands in parallel trace , and contains a directed path from to , then the strands are (logically) in series.