  Given this, the failures of the classical substitutivity principles  can be traced to the fact that modal operators, so interpreted,  introduce contexts that require subtler notions of meaning for sentences and their component parts than are  provided in classical logic; in particular, a subtler notion (to be  clarified shortly) is required for predicates than that of the set of things they happen to apply to. 