If <i>K</i> is a group satisfying the defining relations of a finite group <i>G</i> and |<i>K</i>| &#8805 |<i>G</I>|, what can we say about <i>K</i>?