It is impressive and significant that most of modal logic short of quantified modal logic, to which we shall soon turn) is taken up with it erated cases like and which would simply not recommend themselves to our attention if necessity were held to the status of a se mantical redicate and not depressed to the level of a statement op erator.