some Q's added RE reductions