The Witt algebra, Lie algebras and enveloping algebras. GlaMS examples seminar, October 2020.