[safety] Inconsistent use of "*X* safe operation"

[lucteo]

The document defines X safe operation through:

An X safe operation upholds some safety property X even if preconditions are violated.

Later on the document drops the X qualification:

A safe operation will never exhibit undefined behavior, even if preconditions are violated.

The document should use the X qualification in all places, or add a footnote explaining why it doesn't add value anymore.

[dabrahams]

I think you're confused. The qualification wasn't dropped by accident: it's a separate definition.