In Warrant and Proper Function, Alvin Plantinga establishes a basic set of four criteria by which one can judge a belief to have warrant, explicates those criteria with respect to various types of knowing, and defends the claim that naturalism in epistemology requires supernaturalism in metaphysics. The four criteria Plantinga gives for establishing warrant are as follows.