RE: A concurrency generalization.