X->a이면 x는 a가 아니라는데 왜 그렇게 되는 건지 모르겠어요