Updated to prove "undefined" base cases.