One of the great wonders of clustering algorithms is that no matter what k > n you choose, you can construct k clusters. Then we can argue about the clusters and about k. It is said that when Humanity discovers the One True K, the taxonomy will disappear and be replaced by a different one.