Toward a Methodology for the Philosophy of Mathematical Practice | Synapse