Hypothetico-deductive_method loading ...