6.4.1 Mutex Flavor