Try these: * (λx.xxx)(λx.xxx) * (λx.xx)(λx.xx) * SIx * SKK * 5I * 3K