Reasoning about code in isolated, independent units, leading to improved readability.

Independently examinable code provides re-usability. There are countless examples of this in the APIs of Java, C#, Ruby, etc that you may draw on.