Better error detection, more generalization and modularity