1: \begin{definition}\label{def:rcnf}

2: A {\em \rcnf} is a \cnf\ that can be

3: constructed from a bounded flow function  by the

4: procedure in Step 1 of the proof of Theorem~\ref{thm:stkblhastff}. 

5: A {\em \rcf} is a \cfl\ induced

6: by a \rcnf\ using the seashell procedure.

7: \end{definition}