Positive definite.