RT MW A1 Plantinga, Alvin. T1 Warrant and proper function