formatting, simplification.