D > 0 \land X1*X2 < 0