1: \begin{definition}[Extended Regularity]\label{def:extended}

2: \change{A feasible solution for the CGLP system \eqref{cglp:alpha}--\eqref{cglp:urs} will be called \emph{extended regular} if it satisfies all conditions of Theorem~\ref{thm:positive} other than being basic. A lift-and-project cut $\alpha x \geq \beta$ is \emph{strictly irregular} if 

3: %it cannot be obtained with any extended regular CGLP solution.

4: there is no extended regular solution with the same $(\alpha, \beta)$-component upon scaling by a positive multiplier.}

5: \end{definition}

6: