SMS: Enveloping algebras