On proof and progress in mathematics | Synapse