1: \begin{definition}%[Conditions $C'\big(\mathcal{TM},f^{\Phi}_{\bar{\rho}}, (g_i)_{i=1}^{\infty},  ({\rho}_i)_{i=1}^{\infty} \big)$ and $C'\big(\mathcal{TM}, (g_i)_{i=1}^{\infty} \big)$]

2: \label{definition-new-small-cancellation-conditions}

3: \index{$C'\big(\mathcal{TM}, (g_i)_{i=1}^{\infty}$}  %({\rho}_i)_{i=1}^{\infty} \big)$}  

4: \index{$C'\big(\mathcal{TM}, (g_i)_{i=1}^{\infty} \big)$}

5: If for fixed sequence $(g_i)_{i=1}^{\infty}$, fixed function $f_{\bar{\rho}}: \mathbb{N} \rightarrow \mathbb{N}$ and fixed Turing machine $\mathcal{TM}$ (all are defined is Subsection \ref{subsection_the-definition-of-the-subclass}), elements of the sequence $(\rho_i)_{i=1}^{\infty}$ are large enough so that  Theorem \ref{theorem_about_WP_in_barG_2} and Theorem \ref{theorem-effective-G-conjugacy-problem} hold, then we say that the presentation \eqref{main seq of gps***}  of $\bar{G}$ satisfies the condition

6: \begin{align*}

7: 	C'\big(\mathcal{TM}, (g_i)_{i=1}^{\infty},  ({\rho}_i)_{i=1}^{\infty} \big).

8: \end{align*}

9: %Moreover, if for $i \in \mathbb{N}$, $\rho_i$ is defined to be the minimum integer satisfying the mentioned conditions of this subsection, then we say that \eqref{main seq of gps***} satisfies the small cancellation condition

10: %\begin{align*}

11: %	C'\big(\mathcal{TM}, (g_i)_{i=1}^{\infty} \big).

12: %\end{align*}

13: \end{definition}

14: