added comment: Mutex is non-copyable