KM algorithms are widely used to perform type-reduction and to compute the centroid of type-2 fuzzy sets. Because KM algorithms are iterative, there has been some concern about their convergance time. Many people have observed, from simulations, that convergence occurs rapidly, i.e. under 10 iterations; but, it is one thing to observe this in simulations and another thing to mathematically prove super-exponential convergence, as is done in this paper. So, by mathematically proving superexponential convergence, Mendel and Liu have provided the type- 2 fuzzy set community with concrete evidence of the speed of the KM Algorithms.