Necessity as statement operator is capable, we saw, of being reconstrued in terms of necessity as a semantical predicate, but has, nevertheless, its special dangers; it makes for an excessive and idle elaboration of laws of iterated modality, and it tempts one to a final plunge into quantified modality.