Base case (induction)