/('(x./('(y.$x+$y))$3))$5   { x and y have lexical scope }