  Just as his illumination argument uncovered God as a kind of formal and efficient cause of certitude, so Bonaventure’s aitiological argument uncovers God as formal cause of truth in creatures. But in addition it ends just where his ontological argument begins. For what does an ontological argument do but peer into the inner logic of such an exemplar essence and try to capture the logical consequence that it must exist?