The class of separable nuclear C*-algebras satisfying the UCT coincides with the smallest class of separable nuclear C*-algebras that contains the algebra of complex numbers and is closed under countable inductive limits, the two out of three property for extensions, and KK-equivalences, see [5...