((lam x 1) ((lam x (x x)) (lam x (x x))))