Yes, that's a very good picture of things. Now the dependency vs redundancy issue comes in when two clusters are made modules. If they are mostly separated but

Yes, that's a very good picture of things. Now the dependency vs redundancy issue comes in when two clusters are made modules. If they are mostly separated but still have some connections to each other the question is what to do with these. Cut them off means having to replicate so ultimately redundancy. Leaving them in means dependency. I guess the way modularization should be done is therefore as a min-cut through the dependency graph.