필연적이다 이런 표현 나오는데 양상논리 읽어야됨? 코어논리학은 다 피니쉬했음 일단