Ship-Money, Formalism, and the Value of Choice? | Synapse