³More precisely, each kind $k$ in $\mathrm{\Sigma }$ corresponds to a different choice for a set of states, namely the set $T_{\mathrm{\Sigma }∕E\cup A,k}$.