Derefter följde en helmängd