Mathematical Progress — On Maddy and Beyond | Synapse