bug to fix:x1,x2,ax1+bx2 is independent...