  Historically, probabilistic arguments for miracles have centered on the credibility of eyewitness testimony to the miraculous. Where \(T_i (M)\) stands for “Witness \(i\) testifies that \(M\),” we may write the relevant form of Bayes’s Theorem as