Add \todo about number of groups guarantees.