Below is the solution to the producer/consumer problem using semaphores with one modification: the down/wait operations in the Producer are inversed. That is, down(&mutex) is now before down(&empty)). What will happen in this case? Justify your answer briefly.