In the reader-writer problem, the first reader acquires the lock to the shared buffer, while the last reader releases this mutex when leaving the shared buffer. A semaphore is used to enforce this condition, as seen in the lecture. What happens if we use a mutex instead? How would this impact the reader-writer problem setup?