removed 'simplify' definition (no longer an annotation)