Put in a better explanation of the base case (concurrence = 1) and asyn case (concurrence = N)