It is clear, too, that even if we could establish inductively that all optimific acts are right and all right acts optimific, that would not establish that their being optimific is the ground of their rightness, which is the proposition we are inquiring into.