group extensions now looking up extensions for group extensions