Correctness / Sequencing / Asynchronous-ness