Fail fast semantics