One Axiom : Mathematica | Synapse