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 $\text{HSI}$ but failing an equation valid on $\mathbf{N}:=⟨\mathbb{N};+,\cdot ,\uparrow ,1⟩$ 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 $⟨\mathbb{N};+,\cdot ,\uparrow ,1⟩$, and use this to show that multiplicatively-idempotent HSI algebras satisfy all valid laws of $⟨\mathbb{N};+,\cdot ,\uparrow ,1⟩$. As consequences of this result, we show that all 44 HSI algebras on 3 elements lie in the variety of $⟨\mathbb{N};+,\cdot ,\uparrow ,1⟩$ (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 $⟨\mathbb{N};+,\cdot ,\uparrow ,1⟩$ (up to a simple term equivalence), showing that the variety of $⟨\mathbb{N};+,\cdot ,\uparrow ,1⟩$ 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 $⟨\mathbb{N};+,\cdot ,\uparrow ⟩$.