 that $\mathcal{S}_0^{{\ifm {{\sf wt}} {{$\sf wt$}}}_0}$ and $\mathcal{R}^{{\ifm {{\sf wt}} {{$\sf wt$}}}_0}$ form a regular sequence in ${\overline{{\mathbb F}}_{\hskip-0.0mm q}}(A_s {\ifm {,\ldots,} {$,\ldots,$}}A_0)[A_0, A_0,A_0]$. 