Modularity based on abstraction is the way things ought to be done.