Fixing Concurrency