For example, in deontic logic, ◻ p → ◊ p {\displaystyle \Box p\to \Diamond p} (If it ought to be that p, then it is permitted that p) seems appropriate, but we should probably not include that p → ◻ ◊ p {\displaystyle p\to \Box \Diamond p} .
برای مثال در منطق فقه، ◻ p → ◊ p {\displaystyle \Box p\to \Diamond p} (اگر واجب است که p، در آنصورت مجاز است که p) مناسب به نظر می‌رسد، اما احتمالاً نباید p → ◻ ◊ p {\displaystyle p\to \Box \Diamond p} را در آن گنجاند.