Not a happy definition, but at least a clear and consistent one.