Consider (x.y.y)(x.x)((x.x)(y.y)). List all the full -reduction sequences pos- sible (by reducing redexes in all di erent possible orders) for this expression. Under- line or circle the sub-expression that you are reducing at each step using -reduction. Note that application associates to the left, which means that the above expression is equivalent to ((x.y.y)(x.x))((x.x)(y.y)).