1: \begin{definition}\label{def:aplus}

2: % We define a chain of $K$-algebras which extend~$S$. We let $E_0(S) = S$,

3: % $E_1(S) = K[a_0,g_1, \dots, g_r, h_1, \dots, h_t]$ as described in 

4: % Theorem~\ref{thm:main}, and, recursively, we let  $E_i(S) = E_1(E_{i-1}(S))$.

5: % We observe that there is an abuse of notation since $E_i(S)$ 

6: % depends on the set of generators of $E_{i-1}(S)$, as shown in Example~\ref{ex:depend}.

7: % \end{definition}

8: