Lambda is handled outside, and Applic is done and tested