20.11 의무와 허용의 양상 연산자