any special reason why the mutex is not embedded anonymously, as we usually do?