The Implicit Ontology of Formalists