Multiplicatively idempotent HSI algebras satisfy all equations of $\mathbb{N}$
An algebra with binary operations $+,\cdot,\uparrow$ and constant $1$ is called an HSI algebra if it satisfies the basic commutative semiring laws for $+,\cdot,1$ on~$\mathbb{N}$ as well as the familiar index laws for exponentiation $\uparrow$. These basic axioms, known as the ``High School Identities'' are known to be incomplete, and an algebra satisfying $\HSI$ but failing an equation valid on ${\bf N}:=\langle \mathbb{N};+,\cdot,\uparrow,1\rangle$ is called a \emph{Gurevič algebra}. It is currently unknown if there is an algorithm to recognise finite Gurevič algebras, and the best current result is that there exists a 12-element Gurevič algebra, and that none of the five 2-element HSI algebras are Gurevič algebras. We explain how the work of Alex Wilkie can be used to provide an algorithm for deciding validity of the equational laws of $\langle \mathbb{N};+,\cdot,\uparrow,1\rangle$, and use this to show that multiplicatively-idempotent HSI algebras satisfy all valid laws of $\langle \mathbb{N};+,\cdot,\uparrow,1\rangle$. As consequences of this result, we show that all 44 HSI algebras on 3 elements lie in the variety of $\langle \mathbb{N};+,\cdot,\uparrow,1\rangle$ (that is, are not Gurevič algebras), as well as 597 of the 657 models on 4 elements and 11158 of the 13577 models on 5 elements. A further consequence is that every Brouwerian lattice lies in the variety of $\langle \mathbb{N};+,\cdot,\uparrow,1\rangle$ (up to a simple term equivalence), showing that the variety of $\langle \mathbb{N};+,\cdot,\uparrow,1\rangle$ has continuum many subvarieties. The constant-free signature is also explored, and it is shown that in this case all $2$-element models of the constant-free High School Laws satisfy all valid constant-free laws in $\langle \mathbb{N};+,\cdot,\uparrow\rangle$.