What did Lie algebras and hyperbolic quaternions demonstrate a need for