diff 38f7a3b..e3add78 equivariant_jiang_su_stability_v2.txt
diff --git a/equivariant_jiang_su_stability_v2.txt b/equivariant_jiang_su_stability_v2.txt
index 7c9c1f1..e785fdd 100644
--- a/equivariant_jiang_su_stability_v2.txt
+++ b/equivariant_jiang_su_stability_v2.txt
@@ -6,11 +6,11 @@ setting. Throughout, C*-algebras are complex, tensor products are
 minimal, $\mathcal T(B)$ is the tracial-state space of a unital C*-algebra
 $B$, and $Z$ is the Jiang-Su algebra.
 
-The Jiang-Su algebra $Z$ is the unique simple, unital, infinite-dimensional
-C*-algebra with the K-theory of the complex numbers and a unique tracial
-state; it is strongly self-absorbing, so $Z \cong Z \otimes Z$. The
-dimension-drop construction and these properties appear in the study of
-strongly self-absorbing algebras.
+The Jiang-Su algebra $Z$ is the unique simple unital inductive limit of
+prime dimension-drop intervals with the K-theory of the complex numbers and
+a unique tracial state; it is strongly self-absorbing, so
+$Z \cong Z \otimes Z$. The dimension-drop construction and these properties
+appear in the study of strongly self-absorbing algebras.
 
 ./toms-winter-math0502211-strongly-self-absorbing.pdf