 Other types of modalities that display interesting interaction with deontic notions are temporal modalities. For instance, it is plausible to think that one is obligated to do something only if that thing is in the future. This suggests that the deontic necessity operator quantifies over states that form a subset of the set of all future states; and hence a principle of the type