Are both semaphores required?