18.10 양상의 상호 정의 가능성