that would be an improvement, yes. but unlike scope, transitivity does seem like an edge property