immediately precedes causally upstream of immediately causally upstream of P is immediately causally upstream of q if and only if both (a) p immediately precedes q and (b) p is causally upstream of q. In addition, the output of p must be an input of q. [RO] immediately causally upstream of