Potential recursion in complicated lambda conditions fixed