Simplifying and testing