Shipping costs for Symbolic Logic Syntax, Semantics, and Proof