Formalism for Realists | Synapse