“…A part of the Toms-Winter conjecture states that the converse also holds for separable amenable simple C * -algebras, i.e., if A is a separable simple amenable C * -algebra with strict comparison, then A is Z-stable. In fact this is the only remaining unsolved part of the Toms-Winter conjecture (see [52], [38], [31], [48], [51], [53], [49], [13], and [37], for example). Return to the C * -algebra A mentioned above, let a, b ∈ A be positive elements.…”