23 \(f\left(\sigma,\alpha,\varphi,p\right)=\sqrt{3J_{2}}\sigma_{n+1}^{\text{tr}}+t_{\mathbf{\alpha}}\leq 0\),