Tag Archives: modal operator of necessity