Ontological Mathematics and the Disclosure of Formal Structure | Synapse