...if `a_i` is positive