prefer the terms sequential and monotone over single-threaded and consistent