Some additions to groups
Verification