Facilitating the Transition from Empirical Arguments to Proof | Synapse