Introduce LifoSem