Deductive approach