If we do not do this, as I said, exotic terms can arise. Terms which make for instance like here in l-calculus a case analysis on whether the argument is a variable or it is an application.

---