Supports, blocks, depends-on, evidences, supersedes. Five typed edges. Skip any of them and the graph stops being executable.