Add isTransitive