Warrant Function C by Alvin Plantinga