Teaching the Proof Process | Synapse