We have not, in fact, proved that science excludes miracles: we have only proved that the question of miracles, like innumerable other questions, excludes laboratory treatment.