Shipping costs for Naive Set Theory