No FAQ available that match "theories of quadratic forms"