Warfield can justify a priori knowledge of premise 2 on the basis of externalist thought experiments...