How to prove it: a structured approach | Synapse