 However, even if one agrees that what matters for ontological commitment is whether or not what one believes implies that there are \(F\)s, for a certain kind of thing \(F\), there might still be room for formal tools. First of all, it isn’t clear what implies what. Whether or not a set of statements that express my beliefs imply that there are entities of a certain kind might not be obvious, and might even be controversial. Formal methods can be useful in determining what implies what. On the other hand, even though formal methods can be useful in determining what implies what, it is not clear which formal tools are the right ones for modeling a natural system of representations. It might seem that to determine which are the right formal tools we already need to know what the implicational relations are between the natural representations that we attempt to model, at least in basic cases. This could mean that formal tools are only of limited use for deciding controversial cases of implication.