Laver tables often involve unconventional types of induction. In fact, constructing the Laver tables and proving that they are self-distributive involves an unusual double and triple induction. Consider the following Lemmas. > $\textbf{Lemma 1}$ For all $N$ there exists a unique binary operation > $*$ on $\{1,...,N\}$ such that > > 1. $x*1=x+1$ whenever $x<N$ > > 2. $N*x=x$ for all $x$ and > > 3. $x*y=(x*(y-1))*(x+1)$ whenever $x<N$ and $y>1$. One proves Lemma 1 for each $x*y$ by a double induction which is descending on $x$ and for each $x$ the induction is ascending on $y$. In fact, many results about Laver tables are proven using a descending then ascending double induction. > $\textbf{Lemma 2}$ For all $N$ the algebra $(\{1,...,N\},*)$ satisfies > the self-distributivity identity $x*(y*z)=(x*y)*(x*z)$ if and only if > $x*N=N$ whenever $x\in\{1,...,N\}.$ The direction $\rightarrow$ in Lemma 2 is straightforward, but the direction $\leftarrow$ is by descending induction on $x$, then for each $x$ one proceeds by ascending induction on $y$ and for each $y$, one uses ascending induction on $z$. Notice how one uses a descending induction for each variable in $x*(y*z)$ to the left of the operation $*$ and one uses an ascending induction for each variable to the right of the operation $*$. Similarly, one uses a descending induction for $x$ in $x*y$ in Lemma 1 and one uses an ascending induction on $y$ in $x*y$ in Lemma 1 because $x$ is on the left side of $*$ and $y$ is on the right side of $*$. Lemma 2 is needed to prove the following theorem. > $\textbf{Theorem}$ The algebra $(\{1,...,N\},*)$ satisfies the > self-distributivity identity $x*(y*z)=(x*y)*(x*z)$ if and only if > $N=2^{n}$ for some $n$. The self-distributive algebra $(\{1,...,2^{n}\},*)$ is known as the $n$-th classical Laver table.