 (For the purposes of this section, groups are defined "up to isomorphism") A group "G" is called SQ-universal in the class formula_9 if formula_11 and every countable group in formula_9 is isomorphic to a subgroup of a quotient of "G".The following result can be proved