The Equationally-Defined Commutator