\newcommand{\tail}{\operatorname{tail}}

\begin{slide}{Vergleiche}

Größer: $x = [x_0,\ldots] > [y_0,\ldots] = y$, falls

\begin{itemize}
\item $(x_0 > y_0) \wedge (\tail(x) = \tail(y))$
\item oder $\tail(x)>\tail(y)$
\end{itemize}


Gleich: $x = [x_0,\ldots] = [y_0,\ldots] = y$, falls

\begin{itemize}
\item $|x|=|y|=0$
\item oder $(x_0 = y_0) \wedge (\tail(x) = \tail(y))$
\end{itemize}

Damit $x>y$ mit linear vielen Variablen und Klauseln möglich.
Welches sind die besten Faktoren?

\end{slide}
