In the first step, we bind `w` to the argument `2`. In the second
step, we bind `y` to the argument `w`. In the third step, we would
In the first step, we bind `w` to the argument `2`. In the second
step, we bind `y` to the argument `w`. In the third step, we would