Base case: values of the input variables for which we perform no recursive calls are called base cases (there should be at least one base case and every possible chain of recursive calls must eventually reach a base case)