Föröfrigt enade man sig om enmängd