Practical LAMBDA