A model of $X$ is a scheme of finite type ${\cal X}/{{\cal O}}_{K}$ flat and proper over ${{\cal O}}_{K}$, together with an isomorphism ${\cal X}\times_{Spec(K)}Spec({{\cal O}}_{K})\simeq X$. Denote the special fiber of ${\cal X}$ by