 One final matter concerning the notions of weak and strong supervenience remains to be discussed. This is that they are sometimes formulated differently, by means of modal operators rather than quantification over possible worlds: