. "Suppose you take two sets of statements A and B, for example A says that some set X and a product on X satisfies the axioms of a group, and B says something about X and the product which is satisfied for any group." . . . .