But it is not modal logic, even un quantified modal logic, as the latter ordinarily presents itself; for it is a remarkably meager thing, bereft of all the complexities which are en couraged by the use of 'nec' as a statement operator.