Implement non-transitive scopes.