If the Document does not identify any Invariant