An anchor, or base case. This primitive state is required to specify the function's final state for one or more values of the
parameter.
A recursive step. This is is a function call to itself that defines the function's value for the current
values of the parameter(s) in terms
of previously defined function and/or parameter values.