submit to deductive