Existentialなのかwitnessなのか問題を切り分けるのに