2.5 (Explicit)

LIE 3X (Explicit)