1: \begin{definition}

2: \label{def:basic}

3: A log curve $X/S$ is called \emph{basic} if it satisfies the universal property in Theorem \ref{thm:basic}.

4: \begin{comment}

5: A log curve $f:X\rightarrow S$ is called \emph{basic} if it satisfies the following property.  If $f':X'\rightarrow S'$ 

6: is a log curve and $\underline{a}:\underline{S}'\rightarrow\underline{S}$ and 

7: $\underline{b}:\underline{X}'\rightarrow\underline{X}$ are morphisms 

8: such that $\underline{X}'\simeq\underline{X}\times_{\underline{S}}\underline{S}'$ and such that the divisors of marked 

9: points in $\underline{X}'$ are sent scheme-theoretically to the divisors of marked points in $\underline{X}$, 

10: there are unique morphisms $a$ and $b$ of log schemes extending the morphisms $\underline{a}$ and $\underline{b}$ 

11: above such that 

12: \[

13: \xymatrix{

14: X'\ar[r]^-{b}\ar[d] & X\ar[d]\\

15: S'\ar[r]^-{a} & S

16: }

17: \]

18: is cartesian in the category of fs log schemes.

19: \end{comment}

20: \end{definition}

21: