A good deductive argument must at least be