I will outline a new proof of Kirchberg's classification of all separable, nuclear, O∞-stable C*-algebras using ideal related KK-theory. In particular, this gives a new, short and more elementary proof of the Kirchberg-Phillips theorem. The new key ingredient is an elementary trick which combines infiniteness and quasidiagonality of representations.