 In the twelfth chapter of his book "Warrant and Proper Function", Plantinga developed Lewis' idea, and constructed two formal arguments against evolutionary naturalism.He further developed the idea in an unpublished manuscript entitled "Naturalism Defeated" and in his 2000 book "Warranted Christian Belief", and expanded the idea in "Naturalism Defeated?