The classification of simple separable KK-contractible C*-algebras with finite nuclear dimension

The class of simple separable KK-contractible (KK-equivalent to ${0}$) C*-algebras which have finite nuclear dimension is shown to be classified by the Elliott invariant. In particular, the class of C*-algebras $Aotimes mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.