((lam x x) true)