Finished editing of concurrency section