\Sigma;\emptystoup\vdash x_{1} \rightarrow x_{1}: \infty