The theory of definable equivalence relations has been a vibrant area of research in descriptive set theory for the past three decades. It serves as a foundation of a theory of complexity of classification problems in mathematics and is further motivated by the study of group actions in a descriptive, topological, or measure-theoretic context. A key part of this theory is concerned with the structure of countable Borel equivalence relations. These...