<del>recursive</del><ins>transitive</ins> (or I don't understand this)