a_i>0