Property information
p is causally upstream of, negative effect q iff p is casually upstream of q, and the execution of p decreases the execution of q.
p is causally upstream of, negative effect q iff p is casually upstream of q, and the execution of p decreases the execution of q.