Immanuel Kant, who became a skeptic after encountering David Hume's aversion to miracles, turned his metaphysical guns on the concept of 'Reason'. Kant propounded the theory that, although certain concepts inherent in Reason precede and facilitate experience, these concepts are not sufficient for proofs concerning conclusions about the natural world. Pulling together the disparate strains of rationalism and empiricism to forge his transcendental idealism, Kant recast much of the existing theories of how reason and experience are interrelated.