deductive system