Shipping costs for Mathematical Logic