  Bonaventure includes the negative reasoning so prominent in Anselm’s version, but to Anselm’s formula he adds “being itself” and “the highest truth.” While each of these three descriptions casts a different light on why the inference to God’s existence is valid, Bonaventure here seems to prefer “the highest truth” because the definition of truth as “indivision” is the basis for re-conceiving the ontological argument as establishing an “indivision” between the middle term and the predicate “exists.” If the “highest truth” is “pure indivision,” then the highest truth cannot be divided off from existence.