in deontic logic, is ~obligation(~x)=permission(x)?