Property information
p is immediately causally upstream of q iff p is causally upstream of q, and the end of p is coincident with the beginning of q.
p is immediately causally upstream of q iff p is causally upstream of q, and the end of p is coincident with the beginning of q.