The book first discusses the theory needed for Kemer’s proof, including the featured role of Grassmann algebra and the translation to superalgebras. The authors develop Kemer polynomials for arbitrary varieties as tools for proving diverse theorems. They also lay the groundwork for analogous theorems that have recently been proved for Lie algebras and alternative algebras. They then describe counterexamples to Specht’s conjecture in characteristic as well as the underlying theory. The book also covers Noetherian PI-algebras, Poincaré–Hilbert series, Gelfand–Kirillov dimension, the combinatoric theory of affine PI-algebras, and homogeneous identities in terms of the representation theory of the general linear group GL. Through the theory of Kemer polynomials, this edition shows that the techniques of finite dimensional algebras are available for all affine PI-algebras. It also emphasizes the Grassmann algebra as a recurring theme, including in Rosset’s proof of the Amitsur–Levitzki theorem, a simple example of a finitely based -ideal, the link between algebras and superalgebras, and a test algebra for counterexamples in characteristic .