Text this: Lie theories and their applications :