deletions | additions       diff --git a/We_now_introduce_our_notion__.tex b/We_now_introduce_our_notion__.tex  index 184114b..fe5f855 100644  --- a/We_now_introduce_our_notion__.tex  +++ b/We_now_introduce_our_notion__.tex 
...
\item There is a polynomial $p: \Nats^n \rightarrow \Nats$ s.t. for any $K \in \Nats^n$, $x \in X$ and $y \in \WordsLen{\R_S(K)}$, $T_S(K,x,y,\A_S(K)) \leq p(K)$.  \item There is a polynomial $p: $q:  \Nats^n \rightarrow \Nats$ s.t. for any $K \in \Nats^n$, $T_{\R_S}(K) \leq q(K)$. \item $\R_S \times \Abs{\A_S} \in \Gamma$