proper β reduction for (λx.xx)(λx.xx)
also first time using gif as thumbnail sorry if you expected more
