1: \begin{definition}

2: We define $\operatorname{Lad}_m$ to be the quotient of $\operatorname{FLad}_m$ by the relations in Theorem \ref{th:ladders}.

3: \end{definition}

4: