DEF: A definition has 2 children: the invocation specifying what is being defined and the right-hand-side telling us the initial value (a value of a variable, the body of a function or the initial values for a table).