Switching to an a priori entailment relation goes partway towards restoring the applicability of an entailment account to ontological disputes. It allows that philosophers—if ideally rational—will be able to agree on the ontological commitments of propositions. But there is still the problem of determining what propositions are expressed by the sentences of a theory, that is, what the truth conditions of those sentences are. If the sentences are couched within ordinary or philosophical English, so that their truth conditions are not just a matter of stipulation, there may be no resolving the dispute, even among ideally rational philosophers (see §4).