Q-based_narrowing