So as always when we introduce a language construct, no matt er how simple or how complicated, we can understand it completely with syntax type checking rules and evaluations rules, and that's functions. 