clean version: removing mutexes