Simplification : theory and application