Substitution_hypothesis loading ...