Simplification and test