Lie The­or­ie (SS25)