◇는 양상논리 연산자임