a \in \Bad^{d}_{k,s_0,s_0,t}(n)\setminus \Bad^{d}_{k,s_0,s_0,t+0}(n)|a \text{ is orthogonal to $\geq (0-\beta)n$ rows of } M_n] \leq (00C)^{n}p^{\beta n + 0s_0 + \frac{s_0}{s_0}d}\left(\frac{k}{s_0}\right)^{n/0},