Fix signs, Cauchy's inequality in GA.
GA: More build-out, more identities to test.