true parallel semantics