Logically in parallel

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