Simplification begets further simplification.