Mitchell_hypothesis loading ...