もし、白２がある操作で白１になったらなんか矛盾が出ればいいわけですね。