Text this: Congruence diagonalization and Lie groups.