Formatting and simplifying