Visserligen finnas här en helmängd