Quad forms:
definiteness