公式が否定しないのは、否定した場合にDMで反撃されるのが確定してる詰みの状況なのかもしれんな