1: \begin{definition}\label{def.Operm}

2: Call a closed subscheme $D \subset X$ $\cOB$-permissible at $x$,

3: if it satisfies the equivalent conditions in Theorem

4: \ref{thm.OBHSf.perm}.

5: \end{definition}

6: