consistent no-result semantics