ah but you are assuming the algebra works such that (a,b)*(c,d)=(a*c,b*d) whereas I am analogising it to how C works with reals.