Completeness, supervenience and ontology | Synapse