3More precisely, each kind k in Σ corresponds to a different choice for a set of states, namely the set TΣ∕EA,k.