Depends on #3 - implement normal subgroup functionality.
Depends on #3 - implement normal subgroup functionality.