ruling on Edwards v. Aguillard barred the teaching of "Creation Science" in public schools because it breached the separation of church and state, and a group of creationists rebranded Creation Science as "intelligent design" which was presented as a scientific theory rather than as a religious argument. Scientists disagreed with the assertion that intelligent design is scientific, and its introduction into the science curriculum of a Pennsylvania school district led to the 2005 Kitzmiller v. Dover Area School District trial, which ruled that the "intelligent design" arguments are essentially religious in nature and not science. The court took evidence from theologian John F. Haught, and ruled that "ID is not a new scientific argument, but is rather an old religious argument for the existence of God. He traced this argument back to at least Thomas Aquinas in the 13th century, who framed the argument as a syllogism: Wherever complex design exists, there must have been a designer; nature is complex; therefore nature must have had an intelligent designer." "This argument for the existence of God was advanced early in the 19th century by Reverend Paley": "The only apparent difference between the argument made by Paley and the argument for ID, as expressed by defense expert witnesses Behe and Minnich, is that ID's 'official position' does not acknowledge that the designer is God." Proponents of the intelligent design movement such as Cornelius G. Hunter, have asserted that the methodological naturalism upon which science is based is religious in nature. They commonly refer to it as 'scientific materialism' or as 'methodological materialism' and conflate it with 'metaphysical naturalism'. They use this assertion to support their claim that modern science is atheistic, and contrast it with their preferred approach of a revived natural philosophy which welcomes supernatural explanations for natural phenomena and supports theistic science. This ignores the distinction between science and religion, established in Ancient Greece, in which science can not use supernatural explanations. Intelligent design advocate and biochemist Michael Behe proposed a development of Paley's watch analogy in which he argued in favour of intelligent design. Unlike Paley, Behe only attempts to prove the existence of an intelligent designer, rather than the God of classical theism. Behe uses the analogy of a mousetrap to propose irreducible complexity: he argues that if a mousetrap loses just one of its parts, it can no longer function as a mousetrap. He argues that irreducible