termination-insensitive command semantics