Q2(a,b) complete