Correct handling of interleaved semantics