How Emergent Models May Foster the Constitution of Formal Mathematics | Synapse