Make unifies with relation transitive again