Sound Generalization and Oversimplification