 Given these analogies, it is unsurprising that our primitive operator, read here as “it is obligatory that”, is often referred to as “deontic necessity”. However, there are also obvious disanalogies with alethic necessity. Before, we cited two principles for alethic necessity whose deontic analogs are clearly false: