Transitive is not the same as transient
More consistent order
Added a Transitivity check