we apply one beta$-$reduction $($with renaming only if necessary$)$ to the$(\backslash$lambda y$.\backslash$lambda y $.$yy$)($y y$)$ we obtain expression