Logic.Dependency.Resolution