amelioration mutex