Negative-definite bilinear form