 It follows, although the proof is not a straightforward as one might expect, that no group in formula_36 can contain a copy of every group in formula_36.But it is clear that any SQ-universal group is "a fortiori" SQ-universal for formula_36.If we let formula_41 be the class of finitely presented groups, and "F"2 be the free group on two generators, we can sum this up as