#3 type transitive