Deleted the second base case as it is covered by the recursion (det)