 Having convinced ourselves of God’s existence through the considerations which natural theology makes available to us, and realizing that God is likely to institute a religion to make his nature and requirements known to us, we look to miracles to see which instituted religion is the correct one. However, though in general Boyle argues that accepting something as a miracle presupposes God’s existence, and so miracles are to be used to institute the correct religion rather than to ground its metaphysical basis, he does sometimes urge an argument from miracles which will yield not merely the correctness of Christianity, but the acceptability of religious belief as such. Briefly: we have good historical testimony for the occurrence of miracles, but miracles are possible only if God intervenes in nature (and thereby exists) (BP 5:106–7, BOA §3.8.3, pp. 310–12).