Such as that any target type can depend on any other target type for the purpose of computing the closure, and each task then looks at the target types it cares about.