(\x. x) 7