(((lam x (lam x x)) 13) true)