The fate of Ibrahim is not known.
a という項は ∀I の結論には出現しない（このような項をパラメータと呼ぶ）。