more transitive case