Mutex right format