By implication, so much the worse for unquantified modal logic as well; for, if we do not propose to quan tify across the necessity operator, the usc of th'lt operator ceases to have any clear advantage over merely quoting a sentence and saying that it is analytic.