Substitution_rule loading ...