det H < 0 \implies \text{saddle point}