>>652 This shows that the variety (in the universal algebraic sense) of groups is what's called ideal determined.