deductive validity