If a finite model satisfies all the same equational laws as the integers, then no individual equatio...