Proper group structure.