lie_terminal (LIE)