Possibly Intervening Step A step in a Partially Ordered Plan in a Causal Link iff Π∪{S≺U,U≺T}\Pi \cup\{S \prec U, U \prec T\}Π∪{S≺U,U≺T} acyclic.