1: \begin{definition} $X\subset \cS$ is a {\em bad} set if $|X|>N(X)$. In other words, $X$ violates the conditions of Theorem~\ref{thm:Hall} .

2: %\end{definition}

3: