what if we use mutex