[ Eq(x3, x2*k3/(1 + k3)) ]