 Another objection to the above account of determining ontological commitment goes further and questions the use of a canonical notation, and of formal tools in general. It states that if the ontological question about numbers simply is the question ‘Are there numbers?’ then all that matters for ontological commitment is whether or not what we accept implies ‘There are numbers’. In particular, it is irrelevant what the semantics for quantifiers in a formal language is, in particular, whether it is objectual or substitutional. What ontological commitment comes down to can be determined at the level of ordinary English. Formal tools are of no, or at best limited, importance. Ontological commitment can thus according to this line of thought be formulated simply as follows: you are committed to numbers if what you believe implies that there are numbers. Notwithstanding the debate between the substitutional and objectual semantics, we do not need any formal tools to spell out the semantics of quantifiers. All that matters is that a certain quantified statement ‘There are \(F\)s’ is implied by what we believe for us to be committed to \(F\)s. What does not matter is whether the semantics of the quantifier in “There are \(F\)s” (assuming it contains a  quantifier[4])  is objectual or substitutional.