Lie algebras and hypobolic quanternions drew attention to the lack of need for what?