simplify mutex