finished base case; don't know IH yet