try to prove that 1->1 combinators simplify to id.  Not so easy...