Vid lossningen använde vi en helmängd