1: \begin{definition}

2: We will say that a scaled simplicial set $\calC$ is an {\it $\infty$-bicategory} if it is a fibrant object of

3: $\scSet$, with respect to the model structure described in Theorem \ref{slai}

4: \end{definition}

5: