I would rather say something like ``Occurs when a state receives invalid input. Raised either by a failed validation check or by explicitly calling invalidate.`` since that ties this more explicitly to the concept of invalid input.