LAMBDA end THEORY - Subtails