More sequential correctness