The appendix lists the elementary equivalences used throughout the proofs for easy reference.

Although the structures are not isomorphic, they still have elementary equivalence because every first-order sentence true in one is true in the other.