correcting procedure? to recognise lambda(s)