Mathematical Definitions: What Is This Thing? | Synapse