Holds if data can flow from pred to succ in one local step.