<oerjan> le/rn this//This is something people on the channel like to talk about. We\'re often unsure what this is, though.

Lies are even easier than monoids. They form groups, known as Lie groups.