step through reasoning about first semaphore