elimination works, inner lambdas missing