As for his choosing existential proofs from dialectical proofs and other things, because they give him complete knowledge of proving the truth and invalidating the opponent’s argument, and the dialectical proofs do not have this power, as they invalidate the opponent’s argument and may not prove the truth, and sophistical proofs produce confusion and are closer to the existential proofs in divine knowledge in one way or another. Dialectical proofs