Yes I agree, I was just arguing against "i=0+1*i so it's by definition a complex number" which is a self referential definition