Concurrency and interleaving are equally fundamental