Add ||Bx|| and emit x_i+1