transitive denpendence