Sequentially-consistent ordering