Shipping costs for Mathematical Logic and Hilbert's E-Symbol