Added semaphore explanation + conclusion