drop transitive closure