Oh, certainly. You don't want programmers to go around insisting there's a global ordering to their message systems. But the problem I think could be solved is

Oh, certainly. You don't want programmers to go around insisting there's a global ordering to their message systems. But the problem I think could be solved is where programmers have a causal dependency, but they don't encode it in the program. The next generation of concurrent languages could have the killer correctness features for solving causality problems.