 As we said above, it seems to be universally accepted that, if there are any logical truths at all, a logical truth ought to be such that it could not be false, or equivalently, it ought to be such that it must be true. But as we also said, there is virtually no agreement about the specific character of the pertinent modality.