This edition presents the underlying ideas in recent polynomial identity (PI)-theory and demonstrates the validity of the proofs of PI-theorems. It gives all the details involved in Kemer’s proof of Specht’s conjecture for affine PI-algebras in characteristic 0. This edition presents a tighter formulation of Zubrilin’s theory and contains a more