The set {0, 1} of integers mod 2 under addition and negation satisfies all the same equational laws ...