Keywords = hypothetical-deductive reasoning