Added "undefined" base case to induction.