LAMBDA end THEORY