Property information
p is causally upstream of, positive effect q iff p is casually upstream of q, and the execution of p is required for the execution of q.
p is causally upstream of, positive effect q iff p is casually upstream of q, and the execution of p is required for the execution of q.